1)

ورودي به منطق رياضي

پديدآور: گرادشتين ، ايزرائيل سالامونوويچ
ناشر: شركت سهامي انتشارات خوارزمي
سال نشر: 1354
1388/5/21
ويرايش    نسخ
2)

منطق و اثبات

پديدآور: بيتينجر، ماروين
ناشر: نشر علوم پايه
سال نشر: 1370
1388/5/21
ويرايش    نسخ
3)

قضيه مستقيم و قضيه معكوس

پديدآور: گرادشتين ، ايزرائيل سالامونوويچ
ناشر: نشر ني
سال نشر: 1375
1388/5/21
ويرايش    نسخ
فهرست